Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Source URL: precision.moscito.org

• Sorting algorithms
• Order theory
• Mathematics
• Combinatorics
• Quicksort
• Shellsort
• Insertion sort
• Merge sort
• Adaptive sort
• Factorial
• Time complexity
• Heapsort

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Source URL: www.doc.ic.ac.uk

• Theoretical computer science
• Theory of computation
• Computability theory
• Mathematics
• Turing machine
• Alan Turing
• Models of computation
• Ambient calculus
• Turing completeness
• Halting problem
• Computability
• Reduction

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Source URL: jorgenavas.github.io

• Formal languages
• Mathematics
• Language
• Combinatorics
• Context-free language
• Regular language
• Context-free grammar
• Kleene star
• Regular expression
• Omega-regular language
• Complementation of Bchi automaton

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

CS 153 Current Topics in Theoretical Computer Science Spring 2016

Source URL: users.cms.caltech.edu

Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number

Source URL: crab.rutgers.edu

In Favour of Posting Institute of Theoretical Computer Science and Communications ITCSC-CSE Joint Seminar The Paulsen Problem, Continuous Operator Scaling, and Smoothed

Source URL: itcsc.erg.cuhk.edu.hk

Vrije Universiteit in Amsterdam Faculty of Sciences Division of Mathematics and Computer Science Department of Theoretical Computer Science MASTER’S THESIS

Source URL: www.ucw.cz

CS 153 Current topics in theoretical computer science Spring 2012

Source URL: users.cms.caltech.edu

Call for Papers Foundations of Software Technology and Theoretical Computer Science December 12-14, 2011 Program Commtitee

Source URL: www.fsttcs.org